English computation tree logic: перевод на другие языки